/* The basic values for the navigation bar */
.navigation_bar {
  background-color: #E5E5E5;
  font-family: 'Francois One', sans-serif;
  width: 100%;
  height: 1.75em;
  font-size: 100%;
  overflow: auto;
  border-bottom: .125em solid #B5B5B5;
}

/* The settings for each div that contains a page link */
.navigation_bar div {
  display: inline;
  padding-left: 2.5em;
  padding-right: 2.5em;
  font-size: 1.25em;
}

/* page link style values */
.navigation_bar div a {
  display: inline;
  color: #0E30B7;
  text-decoration: none;
}

/* color change for text when user hovers over link */
.navigation_bar div a:hover {
  color: #DB5432;
}

/* color for currently selected link */
.gwt-MenuBar.gwt-MenuBar-horizontal .gwt-MenuItem.current{
  color: #DB5432;
}